cross product to verify